Multiprocessing execution of the verifiers is not possible with the current setup, as when one verifier process terminates all the others are killed too. This is now resolved by removing the kill methods for all processes with the verifier name.

In addition, the current function for executing subprocesses did not work properly in SLURM execution, as processes there can't be killed using the os.killpg method, because sudo rights are required for it. Now the subprocess execution function is simplified and the timeout is handled by the underlying verification algorithm. This is beneficial too, as now the time for loading conda environments, etc. is not included in the verification time.